Design and Assurance Strategy for the NRL Pump

نویسندگان

  • Myong H. Kang
  • Andrew P. Moore
  • Ira S. Moskowitz
چکیده

Developing a trustworthy system is difficult because the developer must construct a persuasive argument that the system conforms to its critical requirements. This assurance argument, as well as the software and hardware, must be evaluated by an independent certification team. In this paper, we present the external requirements and logical design of a specific trusted device, the NRL Pump, and describe our plan, called the assurance strategy, to create the eventual assurance argument. Our assurance strategy exploits currently available graphical specification, simulation, formal proof, and testing coverage analysis tools. Portions of the design are represented by figures generated by the Statemate toolset, and we discuss how those tools, and covert channel analysis, will be used to show that the logical design conforms to its external requirements. We conclude with some remarks on a possible physical architecture.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Handbook for the Computer Security Certification of Trusted Systems

The Navy has designated the Naval Research Laboratory (NRL) as its Center for Computer Security Research and Evaluation. NRL is actively developing a Navy capability to certify trusted systems. This paper describes the NRL e ort to understand assurance, certi cation, and trusted system certi cation criteria through the production of the Handbook for the Computer Security Certi cation of Trusted...

متن کامل

Automatic Analysis of the NRL Pump

We define a probabilistic model for the NRL Pump and using FHP-murφ show experimentally that there exists a probabilistic covert channel whose capacity depends on various NRL Pump parameters (e.g. buffer size, number of samples in the moving average, etc).

متن کامل

Impeller and volute design and optimization of the centrifugal pump with low specific speed in order to extract performance curves

Now a day centrifugal pumps are vital components of industries. Certainly, one of the most important specifications of centrifugal pumps are the performance curves. In the present work, performance curves of a centrifugal pumps are obtained by Computational fluid dynamics (CFD) and as an outcome, CFD results compare by practical curves. At the first step impeller and volute are designed with tw...

متن کامل

Numerical Study of the tongue geometry effects on the cavitation and performance of a centrifugal pump in off-design conditions

In this study, the effects of the volute tongue geometry variation on the head, efficiency, velocity distribution and cavitation structure of a centrifugal pump in the steady flow behavior under off-design conditions have been investigated. Numerical simulation modeling based on the  turbulence model with a hybrid grid is used to simulate the flow within the modeled pump. The flow is simulated ...

متن کامل

Theoretical, Scientific and Practical Aspects of the Basic Stages of Cad Cam Designing of Centrifugal Pumps

Many theoretical and practical problems arise at different stages of the design/manufacturing process during development of a pump. The experience obtained in pump development proves that the quality of a pump depends on many factors, which should he satisfied to receive good results. At the same time, the theory of engineering design principles exists, which is applicable to designing various ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Computer

دوره 31  شماره 

صفحات  -

تاریخ انتشار 1998